Theory of Type Design, by internationally renowned Dutch graphic designer and typographer Gerard Unger (born 1942), is the first complete and accessible theory of the breathtakingly varied field of typography. "Of all designed objects letters are probably the most pervasive," as Unger explains at the beginning of his study. "Very familiar yet amazingly diverse in their appearan...(展开全部)

Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type the...(展开全部)

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the pr...(展开全部)

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the compli...(展开全部)

Now in full color, the 10th anniversary edition of this classic book takes you deep into the influences that underlie modern video games, and examines the elements they share with traditional games such as checkers. At the heart of his exploration, veteran game designer Raph Koster takes a close look at the concept of fun and why it’s the most vital element in any game. Why do ...(展开全部)

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.

A Theory of Fun for Game Design is not your typical how-to book. It features a novel way of teaching interactive designers how to create and improve their designs to incorporate the highest degree of fun. As the book shows, designing for fun is all about making interactive products like games highly entertaining, engaging, and addictive. The book's unique approach of providing ...(展开全部)

The book is yet unpublished and in draft which could be accessed via the author's homepage: http://www-personal.umich.edu/~tborgers/ Therefore, the ISBN is wrong and will be updated when the publication is complete.

What is the best way to auction an asset? How should a group of people organize themselves to ensure the best provision of public goods? How should exchanges be organized? In An Introduction to the Theory of Mechanism Design, Tilman Börgers addresses these questions and more through an exploration of the economic theory of mechanism design. Mechanism design is reverse game theo...(展开全部)

这部具有开创性的著作为设计师、艺术指导和学生，无论他们的经验如何，提供了通向成功的设计的独特方法。在他对使视觉设计醒目和清楚易读的要素的探索中，经验丰富的设计师和教育家阿历克斯·伍·怀特收集了大量的资料和例子，学习怎样使用： 限定和表现主导图像、词汇和概念 运用规模、色彩和位置引导观者穿过主次等极进行阅读 把空白空间作为设计的一个重要组成部分，而不仅仅只是背景 运用特排和正文字体使读者能够最大程度地理解和重视它 从设计、绘画、建筑和版画以及作者自己的文件资料中选出来的数百幅插图使甚至是最抽象的概念都变得通俗易懂。为思考和运用4种设计要素提供了一个新的方法，本书一定能够促成、产生更好的设计。